Un ordre bien fondé (encore appelé ordre noethérien ou ordre artinien ) est une relation d`ordre dont l`ordre strict associé est une relation bien fondée. - Toute relation bien fondée est strictement acyclique, c`est-à-dire que sa clôture transitive est un ordre strict. Une relation R est...